#ifndef _PRINTK_H
#define _PRINTK_H

int printk(const char *fmt, ...);
void init_printk_done();

#endif
